1. Computer-aided verification of coordinating processes
پدیدآورنده: / Robert P. Kurshan
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Manufacturing processes -- Planning -- Data processing,Computational complexity,Expert systems (Computer science) -- Verification,System design
رده :
TS
183
.
3
.
K87
1994
2. Verification of digital and hybrid systems
پدیدآورنده: edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
